Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
921	SILK is here! Semantic Web Rules with Defeasibility, Higher-Order, and Scalability SILK is a … • Powerful rule knowledge representation (KR) language and system, with reasoner, UI, and interchange. It includes the RI Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-11-07 01:29:55 Artificial intelligence Science Knowledge Logic programming Semantic reasoner Defeasible reasoning Knowledge representation and reasoning Rule Interchange Format Book:Semantic Web Reasoning Semantic Web Knowledge representation
922	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
923	Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2013-10-05 22:24:24 Computing Mathematical logic String Comparison of programming languages Context-free grammar Well-formed formula Trimming Rope Algorithm Formal languages Mathematics Logic
924	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-06-13 08:20:22 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Science Job shop scheduling Tabu search Guided Local Search Search algorithm Operations research Mathematics Applied mathematics
925	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
926	Complex Epistemic Modalities in the Situation Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Logic programming Artificial intelligence Situation calculus Epistemic modal logic Modal logic Function Common knowledge Symbol Frame problem Logic Mathematical logic Mathematics
927	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
928	What Next for ASP? (A Not-Entirely-Well-Informed Opinion) James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:54:41 Science Non-classical logic Mathematical logic Programming paradigms Knowledge representation Non-monotonic logic Stable model semantics Default logic Knowledge representation and reasoning Logic programming Reasoning Logic
929	Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:18 Logic JACK Intelligent Agents Reactive planning Modal logic 3APL Belief–desire–intention model Multi-agent systems Artificial intelligence Computing
930	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming

UPDATE